Adapt to the new element names in the previous commit.
This also adds back a selected state which gets used
for when the focus is placed on the separator with F8,
just so this functionality is not forgotten.
* Paned *
*********/
-GtkPaned { // this is for the standard paned separator
+paned { // this is for the standard paned separator
-GtkPaned-handle-size: 1; // sets separator width
margin-right: 0;
margin-left: 8px;
}
- .pane-separator {
+ separator {
background-color: $borders_color;
&:backdrop {
background-color: $backdrop_borders_color;
}
}
+ separator:selected {
+ background-color: $selected_bg_color;
+ }
}
-GtkPaned.wide { // this is for the paned with wide separator
+paned.wide { // this is for the paned with wide separator
-GtkPaned-handle-size: 5; // wider separator here
margin: 0; // no need of the invisible drag area so, reset margin
- .pane-separator {
+ separator {
background-color: transparent;
border-style: none solid;
border-color: $borders_color;
border-width: 1px;
}
- &.vertical .pane-separator { border-style: solid none;}
- .pane-separator:backdrop { border-color: $backdrop_borders_color; }
+ &.vertical separator { border-style: solid none;}
+ separator:backdrop { border-color: $backdrop_borders_color; }
}
/*********
* Paned *
*********/
-GtkPaned {
+paned {
-GtkPaned-handle-size: 1;
-gtk-icon-source: none;
margin: 0 8px 8px 0; }
- GtkPaned:dir(rtl) {
+ paned:dir(rtl) {
margin-right: 0;
margin-left: 8px; }
- GtkPaned .pane-separator {
+ paned separator {
background-color: #1c1f1f; }
- GtkPaned .pane-separator:backdrop {
+ paned separator:backdrop {
background-color: #1f2222; }
+ paned separator:selected {
+ background-color: #215d9c; }
-GtkPaned.wide {
+paned.wide {
-GtkPaned-handle-size: 5;
margin: 0; }
- GtkPaned.wide .pane-separator {
+ paned.wide separator {
background-color: transparent;
border-style: none solid;
border-color: #1c1f1f;
border-width: 1px; }
- GtkPaned.wide.vertical .pane-separator {
+ paned.wide.vertical separator {
border-style: solid none; }
- GtkPaned.wide .pane-separator:backdrop {
+ paned.wide separator:backdrop {
border-color: #1f2222; }
/**************
/*********
* Paned *
*********/
-GtkPaned {
+paned {
-GtkPaned-handle-size: 1;
-gtk-icon-source: none;
margin: 0 8px 8px 0; }
- GtkPaned:dir(rtl) {
+ paned:dir(rtl) {
margin-right: 0;
margin-left: 8px; }
- GtkPaned .pane-separator {
+ paned separator {
background-color: #a1a1a1; }
- GtkPaned .pane-separator:backdrop {
+ paned separator:backdrop {
background-color: darkgray; }
+ paned separator:selected {
+ background-color: #4a90d9; }
-GtkPaned.wide {
+paned.wide {
-GtkPaned-handle-size: 5;
margin: 0; }
- GtkPaned.wide .pane-separator {
+ paned.wide separator {
background-color: transparent;
border-style: none solid;
border-color: #a1a1a1;
border-width: 1px; }
- GtkPaned.wide.vertical .pane-separator {
+ paned.wide.vertical separator {
border-style: solid none; }
- GtkPaned.wide .pane-separator:backdrop {
+ paned.wide separator:backdrop {
border-color: darkgray; }
/**************